Algebraic numbers, a constructive development
نویسندگان
چکیده
منابع مشابه
The Constructive Real Numbers
Dr. Mark Bickford will discuss his implementation of the constructive reals in Nuprl, and we will discuss their significance both in practical applications and in the development of type theory. Supplementary material for this lecture is written by Dr. Bickford and included on the course web page for Lectures 16 and 17. He will also discuss his very insightful new result about the connectedness...
متن کاملConstructive algebraic integration theory
For a long time people have been trying to develop probability theory starting from ‘finite’ events rather than collections of infinite events. In this way one can find natural replacements for measurable sets and integrable functions, but measurable functions seemed to be more difficult. We present a solution. Moreover, our results are constructive (in the sense of Bishop).
متن کاملA Tour with Constructive Real Numbers
The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we address their expressivity considering the alternative axiomatizations. 1 Overview of the work This work tries to understand (again) constructive real numbers. Our main contribution is a new system of axioms, synthesized with the a...
متن کاملAlgebraic Numbers and Algebraic Integers
c © W W L Chen, 1984, 2013. This chapter originates from material used by the author at Imperial College London between 1981 and 1990. It is available free to all individuals, on the understanding that it is not to be used for financial gain, and may be downloaded and/or photocopied, with or without permission from the author. However, this document may not be kept on any information storage an...
متن کاملA Constructive Algebraic Hierarchy in Coq
We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof of the Fundamental Theorem of Algebra has been formalized in Coq. The algebraic hierarchy that is described here is both abstract and structured. Structures like groups and rings are part of it in an abstract way, defi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 1978
ISSN: 0030-8730,0030-8730
DOI: 10.2140/pjm.1978.74.91